Nuprl Definition : nth_tl 11,40

nth_tl(n;as) == if n z 0 then as else nth_tl(n - 1;tl(as)) fi   (recursive) 
latex


DefinitionsY, x.A(x), if b then t else f fi , i j, f(a), n - m, #$n, tl(l)
FDL editor aliasesnth_tl

origin